Stable model semantics

#	Item
101	PDF Document Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2012-04-02 12:42:46 Non-classical logic Logic Knowledge representation Frame problem Circumscription Yale shooting problem Non-monotonic logic Default logic Stable model semantics Logic programming Artificial intelligence Science
102	PDF Document Add to Reading List Source URL: www.cs.sunysb.edu Language: English - Date: 2008-07-06 10:39:46 Theoretical computer science Logic Mathematics SLD resolution Stable model semantics Automated theorem proving FO Prolog Resolution Logic programming Rules of inference Mathematical logic